The Homotopy Branching Space of a Flow
نویسنده
چکیده
In this talk, I will explain the importance of the homotopy branching space functor (and of the homotopy merging space functor) in dihomotopy theory.
منابع مشابه
Homotopy Branching Space and Weak Dihomotopy
The branching space of a flow is the topological space of germs of its nonconstant execution paths beginning in the same way. However, there exist weakly Shomotopy equivalent flows having non weakly homotopy equivalent branching spaces. This topological space is then badly behaved from a computer-scientific viewpoint since weakly S-homotopy equivalent flows must correspond to higher dimensional...
متن کاملA Long Exact Sequence for the Branching Homology
A function complex is introduced on the category of flows so that the model category of flows becomes a simplicial model category. This allows us to show that the homotopy branching space of the cone of a morphism of flows is homotopy equivalent to the cone of its image by the homotopy branching space functor. The crux of the proof is that the homotopy branching space of the terminal flow is co...
متن کاملT-homotopy and Refinement of Observation (v) : Strøm Model Structure for Branching and Merging Homologies
We check that there exists a model structure on the category of flows whose weak equivalences are the S-homotopy equivalences. As an application, we prove that the generalized T-homotopy equivalences preserve the branching and merging homology theories of a flow. The method of proof is completely different from the one of the third part of this series of papers.
متن کاملT-homotopy and refinement of observation. III. Invariance of the branching and merging homologies
It is proved that the generalized T-homotopy equivalences preserve the branching and merging homology theories of a flow.
متن کاملHOMOTOPY PERTURBATION METHOD FOR SOLVING FLOW IN THE EXTRUSION PROCESSES
In this paper, the homotopy perturbation method (HPM) is considered for finding approximate solutions of two-dimensional viscous flow. This technique provides a sequence of functions which converges to the exact solution of the problem. The HPM does not need a small parameters in the equations, but; the perturbation method depends on small parameter assumption and the obtained results. In most ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 100 شماره
صفحات -
تاریخ انتشار 2004